Praca dotyczy projektu i implementacji gry dwuwymiarowej, opartej na teorii języków formalnych i automatów. Gra polega na rozwiązywaniu dwóch typów zadań/łamigłówek, opartych o ową teorię. Pierwszym typem jest minimalizacja deterministycznego automatu skończenie stanowego. Drugi tryb natomiast, polega na budowaniu minimalistycznego, deterministycznego automatu skończenie stanowego, na podstawie wygenerowanego wyrażenia regularnego. Za rozwiązywanie zadań gracze otrzymują punkty, które są przechowywane w bazie danych.This Bachelor Thesis is about design and implementation of an two dimensional game based on on the formal languages theory and automata theory. The game consist of solving two types of tasks/puzzles. The first type is the minim...